BlankSequence
__ (two _ characters) or BlankSequence[] is a pattern object that can stand for any sequence of one or more Wolfram Language expressions.
__h or BlankSequence[h] can stand for any sequence of one or more expressions, all of which have head h.
Please visit the official Wolfram Language Reference for more details and examples on core symbols.